Koursi, El: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Toward an Application Guide for Safety Integrity Level Allocation in Railway Systems

Ouedraogo, Kiswendsida Abel, Beugin, Julie, El-Koursi, El-Miloudi, Clarhaut, Joffrey, Renaux, Dominique, Lisiecki, Frederic

Journal:

Year:

2018

Language:

english

File:

PDF, 1.81 MB

english, 2018

2

European railway traffic management system validation using UML/Petri nets modelling strategy

Sana Jabri, El Miloudi El Koursi, Thomas Bourdeaud’huy, Etienne Lemaire

Journal:

European Transport Research Review

Year:

2010

Language:

english

File:

PDF, 1.27 MB

english, 2010

3

Improving the resilience of metro vehicle and passengers for an effective emergency response to terrorist attacks

Bruyelle, Jean-Luc, O’Neill, Conor, El-Koursi, El-Miloudi, Hamelin, Fabrice, Sartori, Nicolò, Khoudour, Louahdi

Journal:

Year:

2014

Language:

english

File:

PDF, 451 KB

english, 2014

4

Design solutions to improve resilience of metro vehicle to blast events

El Koursi, El Miloudi, Bruyelle, Jean-Luc, Seddon, Richard, O'Neill, Conor

Journal:

Transportation Research Part A: Policy and Practice

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

5

Towards safer level crossings: existing recommendations, new applicable technologies and a proposed simulation model

Louahdi Khoudour, Mohamed Ghazel, Fouzia Boukour, Marc Heddebaut, El-Miloudi El-Koursi

Journal:

European Transport Research Review

Year:

2009

Language:

english

File:

PDF, 282 KB

english, 2009

6

[American Society of Civil Engineers 13th International Conference on Automated People Movers and Transit Systems - Paris, France (May 22-25, 2011)] Automated People Movers and Transit Systems 2011 - The Renovation Requirements for the VAL Manless System in Lille

Koursi, El Miloudi El, Couvreur, Gérard, Baranowski, François, Flamant, François, Butin, Aymeric

Language:

english

File:

PDF, 746 KB

english

7

Certification des automatismes numériques dans les transports guidés : projets européens CASCADE et ACRuDA

El Miloudi El Koursi, Philippe Meganck, Bao Le Trung, Swapan Mitra, Heinrich Krebs

Journal:

Recherche - Transports - Sécurité

Year:

1998

Language:

french

File:

PDF, 11.91 MB

french, 1998

8

[ASME 2015 Joint Rail Conference - San Jose, California, USA (Monday 23 March 2015)] 2015 Joint Rail Conference - An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling

Boudi, Zakaryae, El Koursi, El Miloudi, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 1.16 MB

english, 2015

9

Analyzing risky behavior of motorists during the closure cycle of railway level crossings

Liang, Ci, Ghazel, Mohamed, Cazier, Olivier, El-Koursi, El-Miloudi

Journal:

Year:

2017

Language:

english

File:

PDF, 1.34 MB

english, 2017

10

Developing accident prediction model for railway level crossings

Liang, Ci, Ghazel, Mohamed, Cazier, Olivier, El-Koursi, El-Miloudi

Journal:

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

11

[TSI Press Fifth Biannual World Automation Congress (WAC 2002) ISORA 2002, ISIAC 2002 and ISOMA 2002. Robotics Manufacturing Automation and Control. Vol.14. - Orlando, FL, USA (9-13 June 2002)] Proceedings of the 5th Biannual World Automation Congress - Assessment and certification of safety critical software

El Koursi, E.M., Mariano, G.

Year:

2002

Language:

english

File:

PDF, 355 KB

english, 2002

12

Modelling of the European Rail Traffic Management System (ERTMS) for checking objectives

Jabri, S., El Koursi, E.M., Lemaire, E., Bourdeaud'huy, T.

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 1.57 MB

english, 2009

13

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL, USA (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - HCPN Modeling for ERTMS Requirements Specification

Boudi, Zakaryae, Koursi, El Miloudi El, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 130 KB

english, 2015

14

[IEEE SMC2002: IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia (6-9 Oct. 2002)] IEEE International Conference on Systems, Man and Cybernetics - Functional analysis of the sub-system of energy and infrastructure of conventional rail

Chatel, V., El Koursi, E.M., Feliot, C., Huismann, U.

Year:

2002

Language:

english

File:

PDF, 347 KB

english, 2002

15

[American Society of Civil Engineers Eighth International Conference on Automated People Movers - San Francisco, California, United States (July 8-11, 2001)] Automated People Movers - Safety Assessment of European Rail Rules for Operating ERTMS

El koursi, E., Flahaut, G., Zaalberg, H., Hessami, A.

Year:

2001

Language:

english

File:

PDF, 224 KB

english, 2001

16

From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis

DARRAGI, N., EL-KOURSI, E.M., COLLART-DUTILLEUL, S.

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 1.64 MB

english, 2014

17

[IEEE 2013 International Conference on Advanced Logistics and Transport (ICALT) - Sousse, Tunisia (2013.05.29-2013.05.31)] 2013 International Conference on Advanced Logistics and Transport - From formal specifications to efficient test scenarios generation

Yang, Jing, Ghazel, Mohamed, El-Koursi, El-Miloudi

Year:

2013

Language:

english

File:

PDF, 1.02 MB

english, 2013

18

[IEEE SMC '98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics - San Diego, CA, USA (11-14 Oct. 1998)] SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218) - Assessment criteria for safety critical computer

El Koursi, E.M., Meganck, Ph.

Year:

1998

Language:

english

File:

PDF, 577 KB

english, 1998

19

Safety Appraisal of GNSS-Based Localization Systems Used in Train Spacing Control

Beugin, Julie, Legrand, Cyril, Marais, Juliette, Berbineau, Marion, El-Koursi, El-Miloudi

Journal:

Year:

2018

Language:

english

File:

PDF, 2.57 MB

english, 2018

20

From Place/Transition Petri nets to B abstract machines for safety critical systems

Boudi, Zakaryae, Miloudi, El, Koursi, El, Collart-Dutilleul, Simon

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 957 KB

english, 2015

21

[IEEE 2010 2nd International Conference on Image Processing Theory, Tools and Applications (IPTA) - Paris, France (2010.07.7-2010.07.10)] 2010 2nd International Conference on Image Processing Theory, Tools and Applications - Background subtraction and 3D localization of moving and stationary obstacles at level crossings

Fakhfakh, N., Khoudour, L., El-Koursi, E.M., Bruyelle, J.L., Dufaux, A., Jacot, J.

Year:

2010

Language:

english

File:

PDF, 2.35 MB

english, 2010

22

From extended integrity monitoring to the safety evaluation of satellite-based localisation system

Legrand, Cyril, Beugin, Julie, Marais, Juliette, Conrard, Blaise, El-Koursi, El-Miloudi, Berbineau, Marion

Journal:

Reliability Engineering & System Safety

Year:

2016

Language:

english

File:

PDF, 976 KB

english, 2016

23

[IEEE IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics - Tokyo, Japan (12-15 Oct. 1999)] IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028) - Preliminary hazard analyses: a case study of advanced vehicle control and safety systems

El Koursi, M., Ching-Yao Chan,, Wei-Bin Zhang,

Year:

1999

Language:

english

File:

PDF, 570 KB

english, 1999

24

[IEEE 2007 IEEE International Conference on System of Systems Engineering - San Antonio, TX, USA (2007.04.16-2007.04.18)] 2007 IEEE International Conference on System of Systems Engineering - Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design

Ghazel, Mohamed, el Koursi, El Miloudi

Year:

2007

Language:

english

File:

PDF, 5.28 MB

english, 2007

25

A CPN/B method transformation framework for railway safety rules formal validation

Boudi, Zakaryae, Ben-Ayed, Rahma, El Koursi, El Miloudi, Collart-Dutilleul, Simon, Nolasco, Thomas, Haloua, Mohamed

Journal:

European Transport Research Review

Year:

2017

Language:

english

File:

PDF, 1.96 MB

english, 2017

26

Using Petri Nets for Safety Analysis of Unmanned Metro System

El Koursi, M., Ozello, P.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.17 MB

english, 1992

27

[American Society of Civil Engineers 13th International Conference on Automated People Movers and Transit Systems - Paris, France (May 22-25, 2011)] Automated People Movers and Transit Systems 2011 - Reflections on the Development of a Common Incident/Accident Model for Urban Guided Transport in Europe

Benard, V., Furlan, L., El-Koursi, E. M.

Year:

2011

Language:

english

File:

PDF, 169 KB

english, 2011

28

A new insight on the risky behavior of motorists at railway level crossings: An observational field study

Liang, Ci, Ghazel, Mohamed, Cazier, Olivier, El-Koursi, El-Miloudi

Journal:

Accident Analysis & Prevention

Year:

2017

Language:

english

File:

PDF, 848 KB

english, 2017

29

[IEEE 2013 International Conference on Advanced Logistics and Transport (ICALT) - Sousse, Tunisia (2013.05.29-2013.05.31)] 2013 International Conference on Advanced Logistics and Transport - Improved resilience of metro vehicle design to blast and fire events

Bruyelle, Jean-Luc, Koursi, El Miloudi El, Seddon, Richard, O'Neill, Conor

Year:

2013

Language:

english

File:

PDF, 196 KB

english, 2013

30

[IEEE The Proceedings of the Multiconference on "Computational Engineering in Systems Applications" - Beijing, China (2006.10.4-2006.10.6)] The Proceedings of the Multiconference on "Computational Engineering in Systems Applications" - Risk Apportionment Methodology Based on Functional Analysis

Rafrafi, Meriem, Bourdeaud'Huy, Thomas, El Koursi, El

Year:

2006

Language:

english

File:

PDF, 7.76 MB

english, 2006

31

3D Objects Localization Using Fuzzy Approach and Hierarchical Belief Propagation: Application at Level Crossings

Fakhfakh, N., Khoudour, L., El-Koursi, E., Bruyelle, J. L., Dufaux, A., Jacot, J.

Journal:

EURASIP Journal on Image and Video Processing

Year:

2011

Language:

english

File:

PDF, 7.73 MB

english, 2011

32

Collecting evidence from distributed sources to evaluate railway suicide and trespass prevention measures

Ryan, Brendan, Kallberg, Veli-Pekka, Rådbo, Helena, Havârneanu, Grigore M., Silla, Anne, Lukaschek, Karoline, Burkhardt, Jean-Marie, Bruyelle, Jean-Luc, El-Koursi, El-Miloudi, Beurskens, Eric, Hedqvis

Journal:

Year:

2018

Language:

english

File:

PDF, 736 KB

english, 2018

33

[IEEE 2013 13th International Conference on ITS Telecommunications (ITST) - Tampere, Finland (2013.11.5-2013.11.7)] 2013 13th International Conference on ITS Telecommunications (ITST) - Sensitivity assessment to analyse dependability of a multisensor localisation system based on GNSS

Legrand, C., Beugin, J., Conrard, B., Marais, J., Berbineau, M., El-Koursi, E.-M.

Year:

2013

Language:

english

File:

PDF, 515 KB

english, 2013

34

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Colored Petri Nets formal transformation to B machines for safety critical software development

Boudi, Zakaryae, El Koursi, El Miloudi, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 354 KB

english, 2015

35

Risk analysis on level crossings using a causal Bayesian network based approach

Liang, Ci, Ghazel, Mohamed, Cazier, Olivier, El-Koursi, El-Miloudi

Journal:

Transportation Research Procedia

Year:

2017

Language:

english

File:

PDF, 1.63 MB

english, 2017

36

Évaluation des logiciels critiques: application à la méthode B

El-Miloudi El Koursi, Georges Mariano

Journal:

Recherche - Transports - Sécurité

Year:

1998

Language:

french

File:

PDF, 4.05 MB

french, 1998

37

An approach for protecting transport infrastructure

Khoudour, L., El-Koursi, E. M., Velastin, S. A., Buch, N., Lim-Thiebot, S., Fontaine, F.

Journal:

Proceedings of the Institution of Mechanical Engineers Part F Journal of Rail and Rapid Transit

Year:

2011

Language:

english

File:

PDF, 351 KB

english, 2011

38

Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study

Ghazel, Mohamed, El-Koursi, El-Miloudi

Journal:

IEEE Transactions on Intelligent Transportation Systems

Year:

2014

Language:

english

File:

PDF, 1.06 MB

english, 2014

39

[IEEE IV'2002. IEEE Intelligent Vehicle Symposium. Proceedings - Versailles, France (17-21 June 2002)] Intelligent Vehicle Symposium, 2002. IEEE - Safety analysis of a frontal collision warning system

Lemaire, E., El Koursi, E.M., Deloof, P., Ghys, J.-P.

Year:

2003

Language:

english

File:

PDF, 315 KB

english, 2003

40

[IEEE Multiconference on "Computational Engineering in Systems Applications - Beijing, China (2006.10.4-2006.10.6)] The Proceedings of the Multiconference on "Computational Engineering in Systems Applications" - Risk Apportionment Methodology Based On Functional Analysis

Rafrafi, Meriem, Bourdeaud'Huy, Thomas, El Miloudi El Koursi,

Year:

2006

Language:

english

File:

PDF, 3.52 MB

english, 2006

41

A pattern-based method for refining and formalizing informal specifications in critical control systems

Ghazel, Mohamed, Yang, Jing, El-Koursi, El-Miloudi

Journal:

Journal of Innovation in Digital Ecosystems

Year:

2015

Language:

english

File:

PDF, 1.20 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски